try {} finally {
  a(b);
}
